orthonormal properties of wave function